<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html lang="en">

<head>
  <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  <title>LCOV - lcov.info.p - core/contracts/protocol/tokenization/src/core/contracts/protocol/tokenization/VariableDebtToken.sol</title>
  <link rel="stylesheet" type="text/css" href="../../../../../../../../../gcov.css">
</head>

<body>

          <table width="100%" border=0 cellspacing=0 cellpadding=0>
            <tr><td class="title">LCOV - code coverage report</td></tr>
            <tr><td class="ruler"><img src="../../../../../../../../../glass.png" width=3 height=3 alt=""></td></tr>

            <tr>
              <td width="100%">
                <table cellpadding=1 border=0 width="100%">
          <tr>
            <td width="10%" class="headerItem">Current view:</td>
            <td width="10%" class="headerValue"><a href="../../../../../../../../../index.html">top level</a> - <a href="index.html">core/contracts/protocol/tokenization/src/core/contracts/protocol/tokenization</a> - VariableDebtToken.sol<span style="font-size: 80%;"> (source / <a href="VariableDebtToken.sol.func-c.html">functions</a>)</span></td>
            <td width="5%"></td>
            <td width="5%"></td>
            <td width="5%" class="headerCovTableHead">Coverage</td>
            <td width="5%" class="headerCovTableHead" title="Covered + Uncovered code">Total</td>
            <td width="5%" class="headerCovTableHead" title="Exercised code only">Hit</td>
          </tr>
          <tr>
            <td class="headerItem">Test:</td>
            <td class="headerValue">lcov.info.p</td>
            <td></td>
            <td class="headerItem">Lines:</td>
            <td class="headerCovTableEntryHi">100.0&nbsp;%</td>
            <td class="headerCovTableEntry">18</td>
            <td class="headerCovTableEntry">18</td>
          </tr>
          <tr>
            <td class="headerItem">Test Date:</td>
            <td class="headerValue">2024-04-09 14:12:28</td>
            <td></td>
            <td class="headerItem">Functions:</td>
            <td class="headerCovTableEntryHi">100.0&nbsp;%</td>
            <td class="headerCovTableEntry">12</td>
            <td class="headerCovTableEntry">12</td>
          </tr>
          <tr>
            <td></td>
            <td></td>
            <td></td>
            <td class="headerItem">Branches:</td>
            <td class="headerCovTableEntryHi">-</td>
            <td class="headerCovTableEntry">0</td>
            <td class="headerCovTableEntry">0</td>
          </tr>
                  <tr><td><img src="../../../../../../../../../glass.png" width=3 height=3 alt=""></td></tr>
                </table>
              </td>
            </tr>

            <tr><td class="ruler"><img src="../../../../../../../../../glass.png" width=3 height=3 alt=""></td></tr>
          </table>

          <table cellpadding=0 cellspacing=0 border=0>
            <tr>
              <td><br></td>
            </tr>
            <tr>
              <td>
<pre class="sourceHeading">             Branch data     Line data    Source code</pre>
<pre class="source">
<span id="L1"><span class="lineNum">       1</span>                 :             : // SPDX-License-Identifier: BUSL-1.1</span>
<span id="L2"><span class="lineNum">       2</span>                 :             : pragma solidity ^0.8.10;</span>
<span id="L3"><span class="lineNum">       3</span>                 :             : </span>
<span id="L4"><span class="lineNum">       4</span>                 :             : import {IERC20} from '../../dependencies/openzeppelin/contracts/IERC20.sol';</span>
<span id="L5"><span class="lineNum">       5</span>                 :             : import {SafeCast} from '../../dependencies/openzeppelin/contracts/SafeCast.sol';</span>
<span id="L6"><span class="lineNum">       6</span>                 :             : import {VersionedInitializable} from '../libraries/aave-upgradeability/VersionedInitializable.sol';</span>
<span id="L7"><span class="lineNum">       7</span>                 :             : import {WadRayMath} from '../libraries/math/WadRayMath.sol';</span>
<span id="L8"><span class="lineNum">       8</span>                 :             : import {Errors} from '../libraries/helpers/Errors.sol';</span>
<span id="L9"><span class="lineNum">       9</span>                 :             : import {IPool} from '../../interfaces/IPool.sol';</span>
<span id="L10"><span class="lineNum">      10</span>                 :             : import {IAaveIncentivesController} from '../../interfaces/IAaveIncentivesController.sol';</span>
<span id="L11"><span class="lineNum">      11</span>                 :             : import {IInitializableDebtToken} from '../../interfaces/IInitializableDebtToken.sol';</span>
<span id="L12"><span class="lineNum">      12</span>                 :             : import {IVariableDebtToken} from '../../interfaces/IVariableDebtToken.sol';</span>
<span id="L13"><span class="lineNum">      13</span>                 :             : import {EIP712Base} from './base/EIP712Base.sol';</span>
<span id="L14"><span class="lineNum">      14</span>                 :             : import {DebtTokenBase} from './base/DebtTokenBase.sol';</span>
<span id="L15"><span class="lineNum">      15</span>                 :             : import {ScaledBalanceTokenBase} from './base/ScaledBalanceTokenBase.sol';</span>
<span id="L16"><span class="lineNum">      16</span>                 :             : </span>
<span id="L17"><span class="lineNum">      17</span>                 :             : /**</span>
<span id="L18"><span class="lineNum">      18</span>                 :             :  * @title VariableDebtToken</span>
<span id="L19"><span class="lineNum">      19</span>                 :             :  * @author Aave</span>
<span id="L20"><span class="lineNum">      20</span>                 :             :  * @notice Implements a variable debt token to track the borrowing positions of users</span>
<span id="L21"><span class="lineNum">      21</span>                 :             :  * at variable rate mode</span>
<span id="L22"><span class="lineNum">      22</span>                 :             :  * @dev Transfer and approve functionalities are disabled since its a non-transferable token</span>
<span id="L23"><span class="lineNum">      23</span>                 :             :  */</span>
<span id="L24"><span class="lineNum">      24</span>                 :             : abstract contract VariableDebtToken is DebtTokenBase, ScaledBalanceTokenBase, IVariableDebtToken {</span>
<span id="L25"><span class="lineNum">      25</span>                 :             :   using WadRayMath for uint256;</span>
<span id="L26"><span class="lineNum">      26</span>                 :             :   using SafeCast for uint256;</span>
<span id="L27"><span class="lineNum">      27</span>                 :             : </span>
<span id="L28"><span class="lineNum">      28</span>                 :             :   /**</span>
<span id="L29"><span class="lineNum">      29</span>                 :             :    * @dev Constructor.</span>
<span id="L30"><span class="lineNum">      30</span>                 :             :    * @param pool The address of the Pool contract</span>
<span id="L31"><span class="lineNum">      31</span>                 :             :    */</span>
<span id="L32"><span class="lineNum">      32</span>                 :             :   constructor(</span>
<span id="L33"><span class="lineNum">      33</span>                 :             :     IPool pool</span>
<span id="L34"><span class="lineNum">      34</span>                 :             :   )</span>
<span id="L35"><span class="lineNum">      35</span>                 :             :     DebtTokenBase()</span>
<span id="L36"><span class="lineNum">      36</span>                 :             :     ScaledBalanceTokenBase(pool, 'VARIABLE_DEBT_TOKEN_IMPL', 'VARIABLE_DEBT_TOKEN_IMPL', 0)</span>
<span id="L37"><span class="lineNum">      37</span>                 :             :   {</span>
<span id="L38"><span class="lineNum">      38</span>                 :             :     // Intentionally left blank</span>
<span id="L39"><span class="lineNum">      39</span>                 :             :   }</span>
<span id="L40"><span class="lineNum">      40</span>                 :             : </span>
<span id="L41"><span class="lineNum">      41</span>                 :             :   /// @inheritdoc IInitializableDebtToken</span>
<span id="L42"><span class="lineNum">      42</span>                 :             :   function initialize(</span>
<span id="L43"><span class="lineNum">      43</span>                 :             :     IPool initializingPool,</span>
<span id="L44"><span class="lineNum">      44</span>                 :             :     address underlyingAsset,</span>
<span id="L45"><span class="lineNum">      45</span>                 :             :     IAaveIncentivesController incentivesController,</span>
<span id="L46"><span class="lineNum">      46</span>                 :             :     uint8 debtTokenDecimals,</span>
<span id="L47"><span class="lineNum">      47</span>                 :             :     string memory debtTokenName,</span>
<span id="L48"><span class="lineNum">      48</span>                 :             :     string memory debtTokenSymbol,</span>
<span id="L49"><span class="lineNum">      49</span>                 :             :     bytes calldata params</span>
<span id="L50"><span class="lineNum">      50</span>                 :             :   ) external virtual;</span>
<span id="L51"><span class="lineNum">      51</span>                 :             : </span>
<span id="L52"><span class="lineNum">      52</span>                 :             :   /// @inheritdoc IERC20</span>
<span id="L53"><span class="lineNum">      53</span>                 :<span class="tlaGNC tlaBgGNC">       26403 :   function balanceOf(address user) public view virtual override returns (uint256) {</span></span>
<span id="L54"><span class="lineNum">      54</span>                 :<span class="tlaGNC">       79209 :     uint256 scaledBalance = super.balanceOf(user);</span></span>
<span id="L55"><span class="lineNum">      55</span>                 :             : </span>
<span id="L56"><span class="lineNum">      56</span>                 :<span class="tlaGNC">       52806 :     if (scaledBalance == 0) {</span></span>
<span id="L57"><span class="lineNum">      57</span>                 :<span class="tlaGNC">        2418 :       return 0;</span></span>
<span id="L58"><span class="lineNum">      58</span>                 :             :     }</span>
<span id="L59"><span class="lineNum">      59</span>                 :             : </span>
<span id="L60"><span class="lineNum">      60</span>                 :<span class="tlaGNC">       75582 :     return scaledBalance.rayMul(POOL.getReserveNormalizedVariableDebt(_underlyingAsset));</span></span>
<span id="L61"><span class="lineNum">      61</span>                 :             :   }</span>
<span id="L62"><span class="lineNum">      62</span>                 :             : </span>
<span id="L63"><span class="lineNum">      63</span>                 :             :   /// @inheritdoc IVariableDebtToken</span>
<span id="L64"><span class="lineNum">      64</span>                 :<span class="tlaGNC">        9099 :   function mint(</span></span>
<span id="L65"><span class="lineNum">      65</span>                 :             :     address user,</span>
<span id="L66"><span class="lineNum">      66</span>                 :             :     address onBehalfOf,</span>
<span id="L67"><span class="lineNum">      67</span>                 :             :     uint256 amount,</span>
<span id="L68"><span class="lineNum">      68</span>                 :             :     uint256 index</span>
<span id="L69"><span class="lineNum">      69</span>                 :             :   ) external virtual override onlyPool returns (bool, uint256) {</span>
<span id="L70"><span class="lineNum">      70</span>                 :<span class="tlaGNC">       18198 :     if (user != onBehalfOf) {</span></span>
<span id="L71"><span class="lineNum">      71</span>                 :<span class="tlaGNC">           4 :       _decreaseBorrowAllowance(onBehalfOf, user, amount);</span></span>
<span id="L72"><span class="lineNum">      72</span>                 :             :     }</span>
<span id="L73"><span class="lineNum">      73</span>                 :<span class="tlaGNC">       18198 :     return (_mintScaled(user, onBehalfOf, amount, index), scaledTotalSupply());</span></span>
<span id="L74"><span class="lineNum">      74</span>                 :             :   }</span>
<span id="L75"><span class="lineNum">      75</span>                 :             : </span>
<span id="L76"><span class="lineNum">      76</span>                 :             :   /// @inheritdoc IVariableDebtToken</span>
<span id="L77"><span class="lineNum">      77</span>                 :<span class="tlaGNC">       11041 :   function burn(</span></span>
<span id="L78"><span class="lineNum">      78</span>                 :             :     address from,</span>
<span id="L79"><span class="lineNum">      79</span>                 :             :     uint256 amount,</span>
<span id="L80"><span class="lineNum">      80</span>                 :             :     uint256 index</span>
<span id="L81"><span class="lineNum">      81</span>                 :             :   ) external virtual override onlyPool returns (uint256) {</span>
<span id="L82"><span class="lineNum">      82</span>                 :<span class="tlaGNC">       22082 :     _burnScaled(from, address(0), amount, index);</span></span>
<span id="L83"><span class="lineNum">      83</span>                 :<span class="tlaGNC">       33123 :     return scaledTotalSupply();</span></span>
<span id="L84"><span class="lineNum">      84</span>                 :             :   }</span>
<span id="L85"><span class="lineNum">      85</span>                 :             : </span>
<span id="L86"><span class="lineNum">      86</span>                 :             :   /// @inheritdoc IERC20</span>
<span id="L87"><span class="lineNum">      87</span>                 :<span class="tlaGNC">          18 :   function totalSupply() public view virtual override returns (uint256) {</span></span>
<span id="L88"><span class="lineNum">      88</span>                 :<span class="tlaGNC">          54 :     return super.totalSupply().rayMul(POOL.getReserveNormalizedVariableDebt(_underlyingAsset));</span></span>
<span id="L89"><span class="lineNum">      89</span>                 :             :   }</span>
<span id="L90"><span class="lineNum">      90</span>                 :             : </span>
<span id="L91"><span class="lineNum">      91</span>                 :             :   /// @inheritdoc EIP712Base</span>
<span id="L92"><span class="lineNum">      92</span>                 :<span class="tlaGNC">        3476 :   function _EIP712BaseId() internal view override returns (string memory) {</span></span>
<span id="L93"><span class="lineNum">      93</span>                 :<span class="tlaGNC">       10428 :     return name();</span></span>
<span id="L94"><span class="lineNum">      94</span>                 :             :   }</span>
<span id="L95"><span class="lineNum">      95</span>                 :             : </span>
<span id="L96"><span class="lineNum">      96</span>                 :             :   /**</span>
<span id="L97"><span class="lineNum">      97</span>                 :             :    * @dev Being non transferrable, the debt token does not implement any of the</span>
<span id="L98"><span class="lineNum">      98</span>                 :             :    * standard ERC20 functions for transfer and allowance.</span>
<span id="L99"><span class="lineNum">      99</span>                 :             :    */</span>
<span id="L100"><span class="lineNum">     100</span>                 :<span class="tlaGNC">           1 :   function transfer(address, uint256) external virtual override returns (bool) {</span></span>
<span id="L101"><span class="lineNum">     101</span>                 :<span class="tlaGNC">           2 :     revert(Errors.OPERATION_NOT_SUPPORTED);</span></span>
<span id="L102"><span class="lineNum">     102</span>                 :             :   }</span>
<span id="L103"><span class="lineNum">     103</span>                 :             : </span>
<span id="L104"><span class="lineNum">     104</span>                 :<span class="tlaGNC">           1 :   function allowance(address, address) external view virtual override returns (uint256) {</span></span>
<span id="L105"><span class="lineNum">     105</span>                 :<span class="tlaGNC">           2 :     revert(Errors.OPERATION_NOT_SUPPORTED);</span></span>
<span id="L106"><span class="lineNum">     106</span>                 :             :   }</span>
<span id="L107"><span class="lineNum">     107</span>                 :             : </span>
<span id="L108"><span class="lineNum">     108</span>                 :<span class="tlaGNC">           1 :   function approve(address, uint256) external virtual override returns (bool) {</span></span>
<span id="L109"><span class="lineNum">     109</span>                 :<span class="tlaGNC">           2 :     revert(Errors.OPERATION_NOT_SUPPORTED);</span></span>
<span id="L110"><span class="lineNum">     110</span>                 :             :   }</span>
<span id="L111"><span class="lineNum">     111</span>                 :             : </span>
<span id="L112"><span class="lineNum">     112</span>                 :<span class="tlaGNC">           1 :   function transferFrom(address, address, uint256) external virtual override returns (bool) {</span></span>
<span id="L113"><span class="lineNum">     113</span>                 :<span class="tlaGNC">           2 :     revert(Errors.OPERATION_NOT_SUPPORTED);</span></span>
<span id="L114"><span class="lineNum">     114</span>                 :             :   }</span>
<span id="L115"><span class="lineNum">     115</span>                 :             : </span>
<span id="L116"><span class="lineNum">     116</span>                 :<span class="tlaGNC">           1 :   function increaseAllowance(address, uint256) external virtual override returns (bool) {</span></span>
<span id="L117"><span class="lineNum">     117</span>                 :<span class="tlaGNC">           2 :     revert(Errors.OPERATION_NOT_SUPPORTED);</span></span>
<span id="L118"><span class="lineNum">     118</span>                 :             :   }</span>
<span id="L119"><span class="lineNum">     119</span>                 :             : </span>
<span id="L120"><span class="lineNum">     120</span>                 :<span class="tlaGNC">           1 :   function decreaseAllowance(address, uint256) external virtual override returns (bool) {</span></span>
<span id="L121"><span class="lineNum">     121</span>                 :<span class="tlaGNC">           2 :     revert(Errors.OPERATION_NOT_SUPPORTED);</span></span>
<span id="L122"><span class="lineNum">     122</span>                 :             :   }</span>
<span id="L123"><span class="lineNum">     123</span>                 :             : </span>
<span id="L124"><span class="lineNum">     124</span>                 :             :   /// @inheritdoc IVariableDebtToken</span>
<span id="L125"><span class="lineNum">     125</span>                 :<span class="tlaGNC">        1023 :   function UNDERLYING_ASSET_ADDRESS() external view override returns (address) {</span></span>
<span id="L126"><span class="lineNum">     126</span>                 :<span class="tlaGNC">        2046 :     return _underlyingAsset;</span></span>
<span id="L127"><span class="lineNum">     127</span>                 :             :   }</span>
<span id="L128"><span class="lineNum">     128</span>                 :             : }</span>
        </pre>
              </td>
            </tr>
          </table>
          <br>

          <table width="100%" border=0 cellspacing=0 cellpadding=0>
            <tr><td class="ruler"><img src="../../../../../../../../../glass.png" width=3 height=3 alt=""></td></tr>
            <tr><td class="versionInfo">Generated by: <a href="https://github.com//linux-test-project/lcov" target="_parent">LCOV version 2.0-1</a></td></tr>
          </table>
          <br>

</body>
</html>
